Tree-shellability of Boolean functions
نویسندگان
چکیده
منابع مشابه
Boolean Normal Forms, Shellability, and Reliability Computations
Orthogonal forms of positive Boolean functions play an important role in reliability theory, since the probability that they take value 1 can be easily computed. However, few classes of disjunctive normal forms are known for which orthogonalization can be efficiently performed. An interesting class with this property is the class of shellable disjunctive normal forms (DNFs). In this paper, we p...
متن کاملDecision Tree Approximations of Boolean Functions
Decision trees are popular representations of Boolean functions. We show that, given an alternative representation of a Boolean function f , say as a read-once branching program, one can find a decision tree T which approximates f to any desired amount of accuracy. Moreover, the size of the decision tree is at most that of the smallest decision tree which can represent f and this construction c...
متن کاملAnd/or tree probabilities of Boolean functions
We consider two probability distributions on Boolean functions defined in terms of their representations by and/or trees (or formulas). The relationships between them, and connections with the complexity of the function, are studied. New and improved bounds on these probabilities are given for a wide class of functions, with special attention being paid to the constant function True and read-on...
متن کاملBoolean Functions for Finite-Tree Dependencies
Several logi -based languages, su h as Prolog II and its su essors, SICStus Prolog and Oz, o er a omputation domain in luding rational trees. In nite rational trees allow for inreased expressivity ( y li terms an provide eÆ ient representations of grammars and other useful obje ts) and for faster uni ation (due to the safe omission of the o urshe k). Unfortunately, the use of in nite rational t...
متن کاملThe growing tree distribution on Boolean functions
We define a probability distribution over the set of Boolean functions of k variables induced by the tree representation of Boolean expressions. The law we are interested in is inspired by the growth model of Binary Search Trees: we call it the growing tree law. We study it over different logical systems and compare the results we obtain to already known distributions induced by the tree repres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2001
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00369-8